Bent函数偶侣与Bent互补函数偶族的构造方法

在提出一类新的类Bent函数——Bent互补函数偶族的概念基础上，进一步研究了Bent互补函数偶族的构造方法，通过提出Bent函数偶侣的概念，运用具有这种特殊关系的两个Bent互补函数偶族，采用递归的方法，可以用低维Bent互补函数偶族递归构造出高维Bent互补函数偶族，丰富了Bent互补函数偶族的构造方法，扩大了Bent互补函数偶族的可选取范围。     

一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．     

啮合同向双螺杆挤出机螺杆组合及其应用

介绍啮合同向双螺杆挤出机螺杆元件的特性,根据物理机械共混理论及尼龙66的熔融特性,设计出一种用于加工玻璃纤维(简称玻纤)增强尼龙66材料的螺杆组合形式,实验结果表明,玻纤在尼龙66中增强效果显著,螺杆设计合理。     

热力学计算软件的研制

为快速精确地进行热力学计算，研制了基于数据库信息的热力学计算软件，软件中含有计算3000种物质的Cp，Ht，△H和△G的方程或表达式；同时，数据库中存储了3000种物质的热力学性质供用户使用。文中介绍了该软件的一般工作流程，并提出了“数据中心”这一新概念，介绍了“数据中心”的设计及实现方法。     

双线纵向激励F^＋2型色心激光器的激励尺寸效应

探讨了双线纵向激励Ｆ＾＋２型色心激光器在不同泵浦光，辅助光和振荡光的束腰半径之经下的增益特性。研究表明，为获得较高基模比例的激光输出和较高的泵浦光利用效率，泵浦光的束腰半径应选择略小于振荡的束腰半径，辅助光的束腰半径应泵浦光的束腰半径近似相等。     

温度的等价类定义

用现代数学中的等价类概念定义了热力学中的温度概念。     

质心坐标系的运动学逆解

质心坐标系的运动学逆解由于其空间变换关系中的７个结构参数中有６个是常数且取值总是非常简单以及第４列元素总是包含了第３列元素而使得求解得以简化。求解过程和结果与关节坐标系完全一致。斯坦福机械手的运动学逆解证明了这一点。     

关于K—可换性与K—正规性

本文证明了对实自共轭迹类算子有Ｔｒ（（ＡＢ）＾２＾ｎ）≤Ｔｒ（Ａ＾２＾ｎ，Ｂ＾２＾ｎ），即Ｋ＝２＾ｎ情形下的Ｈｉｌｂｅｒｔ空间中Ｂｅｌｌｍａｎ不等式；定义了Ｋ－换位子，讨论其若干性质；并给出Ｔｒ（（ＡＡ）＾２＝Ｔｒ（Ａ＾２Ａ）＾２的充要条件，等价定义了正常迹类算子。     

混合超图的星染色

研究混合超图的各种星染色方式及其性质，比较它们之间的关系以及它们与一般超图的染色，星染色的关系，并给出了若干类染色图。     

双圆n边形再探

推广了文献［１］的结果，圆满地解决了广义双圆ｎ（３≤ｎ≤６）边形的存在性问题．